Operational Planning using Web-Based Interfaces to a Coloured Petri Net Simulator of Influence Nets
نویسندگان
چکیده
We present an environment for web-based simulation of influence nets to be used for operational planning. Previous work in this field has shown how influence nets, which are used for probabilistic modelling, can be extended with time and then translated into a coloured Petri net to do temporal evaluation of plans. Simulating the coloured Petri net model in a web environment makes it easy for a subject matter expert to use the simulator for planning without knowing the underlying coloured Petri net formalism and tools. This paper discusses the use of influence nets for operational planning, a simulator for influence nets implemented using coloured Petri nets, and the architecture of the complete web-site which can be used for operational planning.
منابع مشابه
Facilitating the Practical Use of Coloured Petri Nets
This paper describes an approach which allows users without knowledge of coloured Petri nets to control the simulation of coloured Petri net models and interpret the results obtained from simulations via web-based interfaces. We describe the architecture design of facilities in a simulation tool for making it possible to simulate a coloured Petri net model via a web-based interface. The approac...
متن کاملModel-based Operational Planning Using Coloured Petri Nets
This paper presents a framework for modelling military operational plans with Coloured Petri Nets (CPN) and its supporting computer tool, Design/CPN. A mapping relationship between key concepts of an operational plan and CPN constructs is established. Parts of an exercise campaign plan were modelled using the proposed framework, and state space analysis of the model conducted to assess operatio...
متن کاملAvailability evaluation of Software architecture of object oriented Style using coloured Petri nets
Software architecture is one of the most fundamental products in the process of software development in the areas of behavioral or non- behavioral features like availability or transformability change. There are different ways to evaluate software architecture one of which is the creation of application model. An executable model of software architecture is an official description of architectu...
متن کاملModeling and Performance Evaluation of Energy Consumption in S-MAC Protocol Using Generalized Stochastic Petri Nets
One of the features of wireless sensor networks is that the nodes in this network have limited power sources. Therefore, assessment of energy consumption in these networks is very important. What has been common practice has been the use of traditional simulators to evaluate the energy consumption of the nodes in these networks. Simulators often have problems such as fluctuating output values i...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006